package com.sh.dc.service;

import com.baomidou.mybatisplus.core.metadata.IPage;
import com.sh.dc.common.pojo.dto.TaskSolverDto;
import com.sh.dc.common.pojo.dto.TaskStatusCountDto;
import com.sh.dc.common.pojo.query.TaskSolverPageQuery;
import com.sh.dc.entity.TaskSolver;
import com.baomidou.mybatisplus.extension.service.IService;

import java.util.List;

/**
 * <p>
 * 求解任务表 服务类
 * </p>
 *
 * @author zhenlan
 * @since 2024-09-19
 */
public interface ITaskSolverService extends IService<TaskSolver> {

    IPage<TaskSolverDto> getTaskSolverPage(TaskSolverPageQuery query);

    TaskSolverDto transferToDto(TaskSolver solver);

    List<TaskStatusCountDto> countStatus();

    void stopTask(Integer taskId);

}
